| 1. Identity statement | ||||
| Reference Type | Report | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP3W34R/42PMQDB | |||
| Repository | sid.inpe.br/mtc-m21c/2020/07.01.18.06 | |||
| Last Update | 2020:07.01.18.06.33 (UTC) simone | |||
| Metadata Repository | sid.inpe.br/mtc-m21c/2020/07.01.18.06.33 | |||
| Metadata Last Update | 2022:07.08.21.13.07 (UTC) administrator | |||
| Citation Key | AlmeidaMatt:2016:SoC&Em | |||
| Title | Software C&DH embarcado em nanossatélites (ScdhNa)  | |||
| Year | 2016 | |||
| Access Date | 2024, May 16 | |||
| Type | RPQ | |||
| Number of Pages | 32 | |||
| Number of Files | 1 | |||
| Size | 1689 KiB | |||
| 2. Context | ||||
| Author | 1 Almeida, Danilo Pallamin de 2 Mattiello-Francisco, Maria de Fátima | |||
| Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHR8 | |||
| Group | 1 2 CCR-CCR-INPE-MCTI-GOV-BR | |||
| Affiliation | 1 Laboratório de Verificação e Validação de Sistemas Intensivos em Software 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Author e-Mail Address | 1 danilopallamin@gmail.com 2 fatima.matiello@inpe.br | |||
| Institution | Instituto Nacional de Pesquisas Espaciais | |||
| City | São José dos Campos | |||
| History (UTC) | 2020-07-01 18:06:33 :: simone -> administrator :: 2022-07-08 21:13:07 :: administrator -> simone :: 2016 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Keywords | NanosatC-BR2 Cubesat Model-Driven Engineering UPPAAL Timed Automata | |||
| Abstract | Este trabalho, iniciado em Março de 2016, tem por alvo o desenvolvimento do software que realiza as funções de comando, manipulação de dados e aquisição de telemetria, embarcado do computador de bordo do nanosatélite NANOSATC-BR2, que utiliza o padrão CubeSat. As atividades realizadas até o presente focaram a análise dos requisitos do software de comando e gestão de dados (C&DH). Modelos baseados no formalismo timed automata foram criados com o uso da ferramenta UPPAAL para representar a interoperabilidade entre o computador de bordo do NANOSATC-BR2 e as cargas úteis do nanossatélite. Os modelos serão úteis na análise dos requisitos de cada subsistema, tanto na perspectiva de operação a bordo quanto em solo. A ferramenta UPPAAL permite validar os requisitos em termos de propriedades dos modelos, tais como frequência de visita de comunicação entre computador e carga útil, padrão de interação a ser seguido, e volume de dados a ser transferido, entre outros. Uma das propostas do projeto do NANOSATC-BR2 é desenvolver no Brasil o software de gestão de bordo, em parceria com empresas nacionais emergentes de ex-alunos do INPE, para assim manter esta tecnologia sob domínio do Brasil. A abordagem adotada, pela equipe de pós-graduação da Engenharia de Sistemas do INPE, será orientada a modelos (Model Driven Engineering). Desta maneira, o software embarcado no computador de bordo, tomará como base o modelo aqui desenvolvido para operar o nanossatélite. O NANOSATC-BR2 é um nanossatélite 2U que contará com cargas úteis desenvolvidas tanto internamente no INPE, como em parceria com grupos de pesquisa de universidades brasileiras na UFRGS, UFSM, SMDH, e UFMG. Inicialmente, foram criados modelos de operação individuais com foco nas interações entre o computador de bordo com as respectivas cargas úteis. A partir dos requisitos dos subsistemas descritos em linguagem natural, um modelo de interoperabilidade foi gerado para cada carga útil, destacando suas necessidades de interação com o software de gestão de bordo. O desenvolvimento dos modelos de interoperabilidade se insere no processo MDE de verificação e validação de sistemas, prevista em engenharia de sistemas como uma etapa importante no desenvolvimento de projetos críticos intensivos em software. | |||
| Area | ETES | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > Software C&DH embarcado... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2016 > Software C&DH embarcado... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| data URL | http://urlib.net/ibi/8JMKD3MGP3W34R/42PMQDB | |||
| zipped data URL | http://urlib.net/zip/8JMKD3MGP3W34R/42PMQDB | |||
| Language | pt | |||
| Target File | Almeida_Software.pdf | |||
| User Group | simone | |||
| Visibility | shown | |||
| Read Permission | allow from all | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Mirror Repository | urlib.net/www/2017/11.22.19.04.03 | |||
| Next Higher Units | 8JMKD3MGPCW/3EUJHT5 8JMKD3MGPDW34P/478H8MB | |||
| Citing Item List | ||||
| Dissemination | BNDEPOSITOLEGAL | |||
| Host Collection | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notes | ||||
| Notes | Bolsa PIBIC/INPE/CNPq | |||
| Empty Fields | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype | |||
| 7. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||